Problem of Information Passing in Magic Sets Method
نویسنده
چکیده
The magic sets method is used for eecient bottom up evaluation of logic programs. Since its origin, it suuers from the fact that innuence of information passing among predicates has not been suuciently studied. We have recognized the way of information passing as crucial for the eeciency of the method. In this article the ways of information passing are analyzed and a method of choosing an actual passing is described.
منابع مشابه
Problem of Information Passing in Magic Sets
The magic sets method is used for eecient bottom up evaluation of logic programs. Since its origin, it suuers from the fact that innuence of information passing among predicates has not been suuciently studied. We have recognized the way of information passing as crucial for the eeciency of the method. In this article the ways of information passing are analyzed and a method of choosing an actu...
متن کاملOn the Power of Magic Catriel Beeri* and Raghu Ramakrishnan+
D This paper considers the efficient evaluation of recursive queries expressed using Horn clauses. We define sideways information passing formally and show how a query evaluation algorithm may be defined in terms of sideways information passing and control. We then consider a class of information-passing strategies that suffices to describe most query evaluation algorithms in the database liter...
متن کاملMagic Templates: A Spellbinding Approach to Logic Programs
We consider a bottom-up query-evaluation scheme in which facts of relations are allowed to have nonground terms. The Magic Sets query-rewriting technique is generalized to allow arguments of predicates to be treated as bound even though the rules do not provide ground bindings for those arguments. In particular, we regard as ‘‘bound’’ any argument containing a function symbol or a variable that...
متن کاملObtaining relations between the Magic Formula coefficients and tire physical properties
This paper introduces a technique that relates the coefficients of the Magic Formula tire model to the physical properties of the tire. For this purpose, the tire model is developed by ABAQUS commercial software. The output of this model for the lateral tire force is validated by available tire information and then used to identify the tire force properties. The Magic Formula coefficients are o...
متن کاملProbabilistic Linkage of Persian Record with Missing Data
Extended Abstract. When the comprehensive information about a topic is scattered among two or more data sets, using only one of those data sets would lead to information loss available in other data sets. Hence, it is necessary to integrate scattered information to a comprehensive unique data set. On the other hand, sometimes we are interested in recognition of duplications in a data set. The i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999